A. A. Zamov: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (12)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Maslov's inverse method and decidable classes

Журнал:

Annals of Pure and Applied Logic

Рік:

1989

Мова:

english

Файл:

PDF, 3.55 MB

english, 1989

2

Thermal primary transducer for measuring the moisture content of bulk materials

R. K. Azimov, P. R. Ismatullaev, A. A. Zamov

Журнал:

Measurement Techniques

Рік:

1980

Мова:

english

Файл:

PDF, 332 KB

english, 1980

3

Decision tactics for derivation search in the resolution method

N. K. Zamov, V. I. Sharonov

Журнал:

Journal of Mathematical Sciences

Рік:

1987

Мова:

english

Файл:

PDF, 196 KB

english, 1987

4

A programming system for monitoring courses

N. S. Zamov, R. K. Samitov, P. V. Pshenichnyi

Журнал:

Journal of Mathematical Sciences

Рік:

1989

Мова:

english

Файл:

PDF, 408 KB

english, 1989

5

One modification of the ordering strategy in the resolution method

Журнал:

Journal of Mathematical Sciences

Рік:

1988

Мова:

english

Файл:

PDF, 434 KB

english, 1988

6

“Assembler Language Macro Tools for the ES Computer”: Course design for a computer-aided instruction system

N. K. Zamov, N. I. Zvyagina, R. K. Samitov

Журнал:

Journal of Mathematical Sciences

Рік:

1989

Мова:

english

Файл:

PDF, 335 KB

english, 1989

7

Design principles of the computer-aided instruction system GAMMA

N. K. Zamov, N. I. Zvyagina, R. K. Samitov

Журнал:

Journal of Mathematical Sciences

Рік:

1989

Мова:

english

Файл:

PDF, 275 KB

english, 1989

8

Author access to the computer-aided instruction system GAMMA

N. K. Zamov, V. F. Ziskin, P. V. Pshenichnyi

Журнал:

Journal of Mathematical Sciences

Рік:

1989

Мова:

english

Файл:

PDF, 314 KB

english, 1989

9

Application of isograms in the search for inference

N. K. Zamov, V. I. Sharonov

Журнал:

Journal of Mathematical Sciences

Рік:

1988

Мова:

english

Файл:

PDF, 538 KB

english, 1988

10

Restriction of term complexity in derivations and decidable fragments of predicate calculus

Журнал:

Journal of Mathematical Sciences

Рік:

1988

Мова:

english

Файл:

PDF, 468 KB

english, 1988

11

Model-based design and tool data exchange in aerospace: a case study

Holger Schumann, Peter Zamov, Sönke Escher

Журнал:

CEAS Aeronautical Journal

Рік:

2011

Мова:

english

Файл:

PDF, 705 KB

english, 2011

12

Deductive synthesis of solutions for technological tasks

V.J. Mikhailov, N.K. Zamov

Журнал:

The Journal of Logic Programming

Рік:

1990

Мова:

english

Файл:

PDF, 1.53 MB

english, 1990